Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F(-1) | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 714 | 676 | 1059 | 2520 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 1.48 | 3.53 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 4.771 | 8.151 | 9.829 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 592 | 594 | 4669 | 8092 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 7.89 | 13.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.132 | 27.475 | 33.204 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 487 | 485 | 3574 | 5827 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 7.34 | 11.97 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.325 | 23.199 | 25.118 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 400 | 390 | 466 | 4088 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.98 | 1.16 | 10.22 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.763 | 17.823 | 17.345 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 467 | 429 | 5171 | 2161 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 11.07 | 4.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.842 | 20.584 | 11.548 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 509 | 479 | 896 | 2051 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 1.76 | 4.03 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.282 | 15.482 | 8.884 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 543 | 502 | 1343 | 2956 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 2.47 | 5.44 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.363 | 18.902 | 10.204 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 646 | 610 | 1828 | 5000 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 2.83 | 7.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.158 | 14.919 | 8.773 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 766 | 739 | 704 | 7081 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 0.92 | 9.24 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.856 | 14.640 | 17.683 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 590 | 589 | 4669 | 8088 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 7.91 | 13.71 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.163 | 27.676 | 38.744 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 490 | 485 | 3611 | 6099 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 7.37 | 12.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.383 | 23.961 | 24.381 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 550 | 518 | 6826 | 4600 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 12.41 | 8.36 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.484 | 25.729 | 20.639 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 588 | 559 | 7536 | 3859 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 12.82 | 6.56 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.986 | 25.684 | 13.806 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 595 | 560 | 1453 | 4338 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 2.44 | 7.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.987 | 24.370 | 14.415 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 647 | 611 | 4952 | 5622 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.94 | 7.65 | 8.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.176 | 28.590 | 13.829 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 764 | 730 | 601 | 7356 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 0.79 | 9.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 4.089 | 11.862 | 13.840 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 705 | 709 | 5243 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.01 | 7.44 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 4.096 | 28.781 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 592 | 588 | 4718 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 7.97 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.187 | 27.759 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F(-1) | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 640 | 612 | 7865 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 12.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.321 | 28.895 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 703 | 678 | 10389 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 14.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.949 | 27.691 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 682 | 654 | 13279 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 19.47 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.924 | 29.356 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 707 | 676 | 1920 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 2.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.936 | 28.155 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | F(-1) | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
| size | 760 | 729 | 5541 | 0 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 7.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 4.038 | 32.233 | 180.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 894 | 862 | 2908 | 9516 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 3.25 | 10.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 4.889 | 19.854 | 20.628 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 506 | 507 | 3704 | 5833 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 7.32 | 11.53 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.326 | 24.812 | 24.227 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 412 | 406 | 3208 | 3980 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 7.79 | 9.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.707 | 23.055 | 13.225 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 333 | 318 | 326 | 1984 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 0.98 | 5.96 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.270 | 14.411 | 11.911 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 407 | 368 | 621 | 930 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.90 | 1.53 | 2.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.356 | 15.422 | 8.477 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 461 | 425 | 769 | 1091 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.92 | 1.67 | 2.37 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.829 | 16.325 | 9.520 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 545 | 507 | 1360 | 2618 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.93 | 2.50 | 4.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.345 | 19.648 | 10.267 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 653 | 623 | 1818 | 4746 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 2.78 | 7.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.105 | 20.046 | 13.607 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 445 | 422 | 787 | 1096 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.95 | 1.77 | 2.46 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.086 | 6.058 | 9.574 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 585 | 582 | 4900 | 7230 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 8.38 | 12.36 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.915 | 27.863 | 25.158 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 464 | 464 | 3736 | 4650 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 8.05 | 10.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.111 | 25.027 | 14.897 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 362 | 370 | 482 | 2377 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.02 | 1.33 | 6.57 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 1.461 | 18.136 | 10.981 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 496 | 476 | 1024 | 2146 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.96 | 2.06 | 4.33 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.040 | 20.348 | 9.129 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 595 | 585 | 1667 | 4326 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.98 | 2.80 | 7.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.892 | 19.628 | 9.474 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
| size | 720 | 696 | 2438 | 6365 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.97 | 3.39 | 8.84 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.705 | 18.904 | 12.678 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
| size | 660 | 652 | 5399 | 12419 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 8.18 | 18.82 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 3.212 | 28.608 | 22.820 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 535 | 534 | 4821 | 8832 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 1.00 | 9.01 | 16.51 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.323 | 27.151 | 12.720 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
| Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
| grade |
N/A | A | B | B | F | F | F(-1) | F | F(-1) |
| verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
| size | 495 | 492 | 3853 | 7225 | 0 | 0 | 0 | 0 | 0 |
| N.S. |
1 | 0.99 | 7.78 | 14.60 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
| time (sec) |
N/A | 2.127 | 24.334 | 12.442 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |